Automatic structures for subsemigroups of Baumslag–Solitar semigroups
نویسنده
چکیده
This paper studies automatic structures for subsemigroups of Baumslag–Solitar semigroups (that is, semigroups presented by ⟨x, y | (yx, xy)⟩ where m,n ∈ N). A geometric argument (a rarity in the field of automatic semigroups) is used to show that if m > n, all of the finitely generated subsemigroups of this semigroup are [right-] automatic. If m < n, all of its finitely generated subsemigroups are left-automatic. If m = n, there exist finitely generated subsemigroups that are not automatic. An appendix discusses the implications of these results for the theory of Malcev presentations. (A Malcev presentation is a special type of presentation for semigroups embeddable into groups.)
منابع مشابه
Decision and Separability Problems for Baumslag-Solitar Semigroups
We show that the semigroups Sk,` having semigroup presentations 〈a, b : abk = b`a〉 are residually finite and finitely separable. Generally, these semigroups have finite separating images which are finite groups and other finite separating images which are semigroups of order-increasing transformations on a finite partially ordered set. These semigroups thus have vastly different residual and se...
متن کاملEquilibrium States on Right Lcm Semigroup C-algebras
We determine the structure of equilibrium states for a natural dynamics on the boundary quotient diagram of C-algebras for a large class of right LCM semigroups. The approach is based on abstract properties of the semigroup and covers the previous case studies on N⋊N, dilation matrices, self-similar actions, and Baumslag– Solitar monoids. At the same time, it provides new results for large clas...
متن کاملAutomatic semigroups vs automaton semigroups
We develop an effective and natural approach to interpret any semigroup admitting a special language of greedy normal forms as an automaton semigroup, namely the semigroup generated by a Mealy automaton encoding the behaviour of such a language of greedy normal forms under one-sided multiplication. The framework embraces many of the well-known classes of (automatic) semigroups: free semigroups,...
متن کاملPresentations for Subsemigroups of Groups
This thesis studies subsemigroups of groups from three perspectives: automatic structures, ordinary semigroup presentations, and Malcev presentaions. [A Malcev presentation is a presentation of a special type for a semigroup that can be embedded into a group. A group-embeddable semigroup is Malcev coherent if all of its finitely generated subsemigroups admit finite Malcev presentations.] The th...
متن کاملA Note on Twisted Conjugacy and Generalized Baumslag-solitar Groups
A generalized Baumslag-Solitar group is the fundamental group of a graph of groups all of whose vertex and edge groups are infinite cyclic. Levitt proves that any generalized BaumslagSolitar group has property R∞, that is, any automorphism has an infinite number of twisted conjugacy classes. We show that any group quasi-isometric to a generalized Baumslag-Solitar group also has property R∞. Thi...
متن کامل